Mariëlle Stoelinga: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Esther Guerra, Mariëlle Stoelinga

წელი:

2021

ენა:

english

ფაილი:

PDF, 10.61 MB

0 / 0

english, 2021

2

Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings

Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings

Mariëlle Stoelinga (editor), Esther Guerra (editor)

წელი:

2021

ენა:

english

ფაილი:

PDF, 10.61 MB

0 / 4.5

english, 2021

3

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Anne Remke, Mariëlle Stoelinga (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 6.70 MB

0 / 0

english, 2014

4

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Springer International Publishing

Étienne André, Mariëlle Stoelinga

წელი:

2019

ენა:

english

ფაილი:

PDF, 13.50 MB

0 / 0

english, 2019

5

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 6.41 MB

0 / 0

english, 2000

6

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.67 MB

0 / 0

english, 2012

7

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 11.45 MB

0 / 0

english, 2013

8

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 10.68 MB

0 / 0

english, 2013

9

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 8.87 MB

0 / 0

english, 2000

10

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 12.23 MB

0 / 0

english, 2013

11

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 7.07 MB

0 / 0

english, 2012

12

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen, Mariëlle Stoelinga, Petra Van Den Bos

წელი:

2022

ენა:

english

ფაილი:

PDF, 21.94 MB

0 / 5.0

english, 2022

13

A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

წელი:

2022

ენა:

english

ფაილი:

PDF, 21.94 MB

0 / 5.0

english, 2022